Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
461	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Maximal Covering by Two Isothetic Unit Squares Priya Ranjan Sinha Mahapatra ∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:05:31 Proof theory Diophantine approximation Dynamic programming Earley parser Euclidean algorithm Mathematics Mathematical analysis Mathematical logic
462	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
463	The Circuit-Input Game, Natural Proofs, and Testing Circuits With Data∗ Brynmor Chapman† Stanford University Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2014-12-10 16:56:25 Complexity classes Circuit complexity Pseudorandomness Computability theory Advice Pseudorandom generator ACC0 Natural proof Boolean circuit Theoretical computer science Computational complexity theory Applied mathematics
464	ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY ANDREAS ABEL AND GABRIEL SCHERER Department of Computer Science, Ludwig-Maximilians-University Munich e-mail address: Gallium tea Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-01-13 11:43:16 Mathematics Metalogic Proof theory Lambda calculus Entailment Logical consequence Normalisation by evaluation Sheaf Soundness Logic Mathematical logic Deduction
465	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Formal methods Metalogic Proof theory Mathematical logic Model theory Formal proof Model checking Mathematical proof Logic Mathematics Automated theorem proving
466	30 Berkeley Square, London, W1J 6EX phillips.com + • private purchases Proof of identity in the form of government-issued identification will be required. Add to Reading List Source URL: phillips.com Language: English - Date: 2014-10-10 12:31:22 Auction Bid EBay Purchasing Business Auctioneering Auction theory
467	Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-02 15:59:38 Deduction Logical consequence Natural deduction Propositional calculus Sequent calculus Entailment Linear logic Monotonicity of entailment Curry–Howard correspondence Logic Proof theory Mathematical logic
468	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory
469	POLYNOMIALS FOR GLp × GLq ORBIT CLOSURES IN THE FLAG VARIETY BENJAMIN J. WYSER AND ALEXANDER YONG A BSTRACT. The subgroup K = GLp × GLq of GLp+q acts on the (complex) flag variety GLp+q /B with finitely many orbits. We Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-03-04 10:08:04 Representation theory Schubert polynomial Proof theory Algebraic geometry Orbifold Symbol Abstract algebra Mathematics Algebra
470	The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for We assume that the following rules are valid for the operator: Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-28 19:49:51 Model theory Quantification Proof theory Propositional calculus First-order logic Existential quantification Negation Logical equivalence Kurt Gödel Logic Mathematical logic Mathematics

UPDATE